منابع مشابه
An Algebraic Approach to Hybrid Systems
We propose an algebraic model for hybrid systems and illustrate its usefulness by proving theorems in realization theory using this viewpoint. By a hybrid system, we mean a collection of continuous nonlinear control systems associated with a discrete finite state automaton. The automaton switches between the continuous control systems, and this switching is a function of the discrete input symb...
متن کاملProcess Algebraic Approach to Hybrid Systems
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component syst...
متن کاملSymbolic Verification of Hybrid Systems: An Algebraic Approach
In this paper we present a new symbolic, computer algebra based approach to hybrid systems. Hybrid systems are systems containing both, continuous and discrete changing quantities. As is commonly done, we model hybrid systems using hybrid automata. Hybrid automata extend the classical notion of finite state machines by combining differential equations to model the dynamic behavior of systems wi...
متن کاملAn Algebraic Approach to Heterogeneous Software Systems
This report outlines a practical use of algebraic specification for the development of heterogeneous software systems. This kind of software mixes static, functional and dynamic aspects as in realistic examples and in some object-oriented methods. Static aspects are for example, types and signatures, components and their relations and so on. Functional aspects describe some semantics for operat...
متن کاملAn Algebraic Geometric Approach to the Identification of a Class of Linear Hybrid Systems∗
We propose an algebraic geometric solution to the identification of a class of linear hybrid systems. We show that the identification of the model parameters can be decoupled from the inference of the hybrid state and the switching mechanism generating the transitions, hence we do not constraint the switches to be separated by a minimum dwell time. The decoupling is obtained from the so-called ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)00146-a